$t$.2 $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $x$,$y$ = $t$ in $y$